gui_select_message -rule checkCMD_duplicate03 -msg {Multiple specifications found for 'Design' file as '../../00_src/tx/tx.v' (on command-line),'../../00_src/tx/tx.v' (on command-line). All specifications except the first one are ignored}
